perm filename CHAI.360[360,GF] blob
sn#882097 filedate 1990-02-13 generic text, type T, neo UTF8
{`dα&Q*Dλ#∪ie ⊂≠nW 8≥.B_N'∪↔ε"p_Lg#λ≠
εT_∧λ␈␈␈␈x␈␈␈␈x∀X␈␈␈z0⊂h '.(α9↑ β8a∞_∧8A.λα@@Nλα`↑αA↑α↓@MxαA@]xααMpαB]hαB@Mhαα`]`αC]`αβ@MXαC@]PαDMPα∧ ]HαD@MHα∧`]@αE]@α¬@M8αE@]0αFM0αε ](αF@](απM αG] απ@M_αG@]⊂αHM⊂αλ ]λαH@]λα MαI\xαI@Lxα `\pαJLpα
\hαJ@\hαL`αK\XαK@LXα`\PαLLPα \HαL@\Hα
L@αM\8αM@L8α
`\0αN\0α∞@L(αN@\ αOL α∂ \_αO@L_α∂`\⊂αPλ(a↓λ∧⊂α0 T!↓8( ⊃Lα⊂λP(←A(∧0α/`D#A7`( ∩[pα⊂ ↑A(∧PαoT&↓↔@ ∪ [XαP `(]Aλ¬α.@T(↓7⊂( ∀@KHα⊂
0(\↓(¬ α.D*A6p( ∃@[8α⊂ [↓(¬@αm T-↓⊗P ⊗`[ αP@ Z↓λ¬hαl`T/↓60 _K⊂αP(%⊂ ∀`%P ∀X%P ∀P&⊂ ∀H&∂αD|∪'!( =ic@
P∨∧p≤¬λ∂@'MBT|∪fa >
β
P∨¬~¬λ∂@(LBT{TF↓( >
#
⊂∨¬_↔¬(∂@)KBD|∃A
αT2Aπq(*Aα! ∀¬(ε0αO"e(α∧BB8⊂p ≡E*` 묬↓( ~SX
U@Px
bd4A'⊃0+A↓a ∀¬(εXα∞"U8αC"B8
P
@(≠EK 嬬↓( ≠ C8
V @P
αT7↓&Q(,A↓! ∪EHεxα
αePαααB@
P∞(→E+ (βE∧q( ≤@Sλ⊗`@0
αT9Aε⊃(-A Q ∪E(π αKbe`α↓αB8⊂∞P ↔E+P ↓¬¬↓( ≥@Rh
W Pλ
bd;A¬A0/ε¬↓( ≡RX
WCα8
P∂ (∀EKq0∀¬(πXα
"Ux bT>↓$q00¬∧q0 ∨ B8
X""@
P∂`(∩E,⊃⊂∪EHπxαHbf⊂λ
αT@A∧1(1∧∧q( @Rλ_ab@
P⊂0 ⊂E,@`∀¬(λ αGbV ε bdBAβa02BE↓( !@Qh
Y!"8
P⊃(
EL`@∀¬(λHαεbV0∧ bTE↓#⊃03ADq0 "`AH
ZB@
P⊃@(E-(∪¬Hλhα¬BfHα BTG↓"Q(4A$A( $Q_~@B
P∩⊂ E- (⊃¬( ⊂αD"fXαλ"dIAα⊃(6↓∧↓( %Px
[Qp⊂∩P(εEMP ∂¬( 8αβ"VhαGαTL↓!107↓βA( & @X
[@QP
P∪ (∧E-p EH Xαα"WαεαTN↓ q(8↓"a0 ' P(≤ A0
P∪p αE.⊂(
¬(
α@bg⊂α∧bdPA1(9Aα!( (@Pλ
\`Aλ⊂∀1P:↓α↓( )β↔ αCBTSε∞P π¬(
8≥ P`
P∃↓0;↓↓10 *αW8ααBTT¬.p(∧¬H
8≡@@
P∃↓(<↓ a( *αgHα↓BTT¬/⊂(α¬(
@
↑@@_⊂∃↓(=A!( *αWX
P∀q0>ε(
@
←β∧T¬OQ8 *αWp
P∃↓(>EH
@
←"TT¬oA0 )c↔`
P∃↓H=E(
@
↑BdT¬ =¬(
@
@`WH⊂∀q0α↓∂⊃( *αP(α↑αTT¬@`(<¬(
@
BG8
P∃↓(∧A.a0 *αPPα≥BTT¬!0(:EH
8βW(⊂∀q(π↓∞A@ )"`pα\c∀RE" 9FH
_
D W⊂ DQE" 9¬ ( ("Q_α\"`_αP∪q0
↓.⊃(αAλ x
E@G
A@TNEB`(7E@p '"Q@α≠bP@αP∪1(A-a0∧A( P
F@Fp
B`DLE#0(6EA0( %ba`α["Phα⊂∩q(∂↓
A(π↓( (π@VXβ`DJE$ 5E"( $bRλαZBaλαP∩⊃0⊃↓-!( Aλ λ
IFH
ETGED@(4E"P #bR0α~αQ0αP⊃Q(∪A,q0Aλλh
JF8
FTEE%⊂(3¬C⊂( ""bPαYBQXα⊂⊃⊃(⊗↓Q(∞↓(λ8V π DCE%` 2¬#`( !"RxαXbaxαP⊂A(_↓1(⊂Aλλ_
L V⊂λ T@EF (1¬$0 "S α_"R αP∂q0~↓,↓0∩Aλπx
M@F
I@T>E&p(/EDp( ≡bc@αWbRHα⊂∂1(≥↓a(∃↓(πH∞@Up
J`D<E'@ .E%@( ≥bShαWαbhα⊂∞q(∨↓A(↔↓(π(
O`UX`T9EH∧αVbSλα⊂∞1( ⊂@EP
L@T8EH∧⊂αV"c_α⊂∞⊃( ⊃EH
MT7E(∧(αVαc(αP
a( ⊃@E@
M`D6E(∧8αUbc8αP
10 ∩U8
N D5E(∧Pα∃BSPαP
⊃0 ∩@U(∞`D4E(∧`α∃"S`αPq( ∪ U ∂ T3¬(∧pαUαSxα⊂Q( ∀E_∂`T1EH¬αTbT Aλε_
P
)¬(∧⊂αP⊃( ∀`Uλ⊂λ0 _"T*↓
⊃( ⊃T/E(¬(αTαd"A(¬h⊂
`((¬(∧8α⊂Q( ⊗Dx
P ( ⊗bd,↓)a0 ∩ D-E(¬Pα∪BT%↓(¬H
P0(&EH∧XαP↓( ↔Dh
P P ∃bT.A)A0 ∪ T*EH¬pαSλ⊂λ≠∩h⊂λ≤∩h⊂λ≤∩h⊂λ≠l@T0↓60 _K_αP`(Z↓λ¬hαmT.↓⊗P ⊗`[(αP [↓(¬@αm`D,↓⊗p( ∃@[@α⊂
P(\↓(¬ α. D)A7⊂( ∀@KPαP
(]Aλ¬α.`T'↓7@ ∪ [`αP @ ↑A(∧Pαo@D%↓↔`( ∩[xα⊂λp(←A(∧0α0D"A8( ⊃LλαPλ (a↓λ∧⊂α0@T ↓80 ∨A80(∨↓_@ ≡A8@(≡↓_P(≥↓8` ≥↓_`(≤↓8p ≠A8p(≠↓→(~↓9⊂ ~↓→⊂(→↓9 _A9 (_↓→0 ↔A90(↔↓→@(⊗↓9P ⊗↓→P(∃↓9` ∀A9`(∀↓→p ∪A9p(∪↓~(∩↓:⊂ ∩↓~⊂(⊃↓: ⊂A: (⊂↓~0(∂↓:@ ∂↓~@(∞↓:P ∞↓~P(
↓:` A:`(↓~p(↓; ↓≠(
↓;⊂ A;⊂( ↓≠ λA; (λ↓≠0(π↓;@ π↓≠@(ε↓;P ¬A;P(¬↓≠`(∧↓;p ∧↓≠p(β↓< β↓≤(α↓<⊂ ↓A<⊂(↓↓≤ PqB≤0@r↓\@(rA≤`⊂"P`⊂←␈x␈␈␈␈x␈␈`J←␈x␈k`<Hλhu@=(αum βta
_α M⊂α@]λα@`Mλα↓ Mα↓@Mα↓`LxααLxαα Lpαα@\hαB`Lhαβ L`αβ@L`αβ`LXα∧LXα∧ LPα∧@\HαD`LHα¬ L@α¬@L@α¬`L8αε\0αF L0αε`L(απL(απ L απ@L απ`L_αλ\⊂αH L⊂αλ`Lλα Lλα Lα @Lα `Kxα
[pαJ Kpα
`KhαKhα K`α@[XαK`KXα KPα@KPα`KHα
KHα
K@α
@[8αM`K8α∞ K0α∞@K0α∞`K(α∂K(α∂ K α∂@[_αO`K_α⊂λ⊂ Y↓λ∧⊂α,@D!A⊗⊂ ⊃[αPλP X↓λ∧8α+`D$↓∃p ∩ Jpα⊂ W↓λ∧Xα+ D&↓5@( ∪ J`α⊂ p UAλ¬α*`D(A∃ ∀@JPα⊂
0 TAλ¬ αjT*A∃ ∃`DP @%4X @%$X @%∀` @%∧h~DH
x&Mα$p∪F!_ 7ic⊂ ⊂≠tx_∧h
x'Lα$oT¬a_ 7j∩h ⊂≠uλ⊗∧H
x)
B4oTE!⊂ 7j2@ P≠u_α∧B"_ P0(≠Dj@ λ∧D1_ ↔ C0
∃ @p α4/↓εQ_*A↓a⊂⊃Dh¬xα
αE0αβα" P →Dj` ε∧D1_ _ Sλ U`@P λbD1↓ε⊃_,↓↓⊃⊂⊃Dhε αb5@ααα"_ PP ↔¬⊂ β∧DA_ →@Bh V @0 λb43A¬A_-↓A⊂∩∧hε@α
b5Pα↓α"_ P
⊂(∀Dk0 ↓∧D1_ ~`BH W@λ λb46↓∧q_.¬D1_ ≠ B0
↔"B P
` ∩DkQ ⊃Dhεxα α5p α48↓∧1_/∧D1_ ≤ Rλ Wbα_ P∞0 ⊂Dlx⊃Dhπ απb6πλb4:Aβa 0C∧A_ ≥@Ah X!B_ P∞p(
Dl P⊃Eλπ@αεb6⊂¬λb4=↓β⊃_1B∧1_ ≡`A@
→b P∂@ Dl@0⊃Dhπhα¬B6(α α4?↓αQ_2A∧1_ ∨`Q_ Y@Bλ
⊂⊂ Dlp ⊂∧hλ⊂α∧"68απb4AAα↓ 4↓βa_ !@x ZAh P⊂P π∧m⊂ ∞∧hλ0αβ"6Hαεb4CA!1_5↓β⊃_ " @X Z`A@ P⊃ ∧Dm0 DhλXαααF`α¬B4F↓q_6↓αQ_ # P( [ A_
⊂⊃` αDmP( ∧h αb6pα∧"4HA1_7Aα↓_ $@@λ [`@x P∩1@8↓↓a_ %αgαβ"4JE.⊂ ¬Eλ 0
≤ PP P∩q_9↓↓⊃_ %bG_ααα4KDn0 βDh 8 ]@0 P∩q_:↓Q_ %b7(αbDKDn` ↓∧h 8 ]@@λ P∩q ;Eh 8 ]bdKDo↓( %b7@
⊂∩q_<∧h @ ↑α4KE.q_ %bg8 P∩q8;∧h 8 @ W(
⊂∩q_↓↓∞Q_ %b0 α≥α4KE@ :∧h 8 A@G_ P∩q_βA∞1_ %b0@α≤B4KDa⊂(8Eλ 8 B@Gλ
⊂∩a_ε↓∞↓( %"@`α≤αdJ∧a` 7Eh _ C`Vx @ DI∧b 7∧` $"1⊂α≠"@_α⊂∩↓_ ↓
Q_α↓(λp EF` A@DFEα@ 6∧`p #α10α~b0@α⊂⊃1_A-! ∧AλλP FFP B@TD∧c 4Da@ "α1Pα~"0hα⊂⊂a_∞↓
↓_π↓λλ( G F@ C`DB∧c` 3Db b1xαYBAλα⊂⊂!_⊂↓a_ ↓(λ H@F( ED?E∧ 2DbP ∨B2 α→α10α⊂∂Q_∩AA_Aλπ` I@F_ FD=Ddp(1¬β⊂ ≡B2@α_B1PαP∂↓_∃↓⊃_∞↓λπ8
@Fλ G D;∧e@ 0∧c` ≥"2hαWbAxα⊂∞A_↔↓q_⊂↓(π⊂ LEp H@D9∧f /∧d0 ≤α3⊂α↔"2 α⊂
q_→AQ_∩Aλεp ME` I@D6DfP(-E∧p ≠α30α⊗b2@αP
!_≤↓!_∃↓λεP NEP J`D4∧g ,De@ →b3Xα⊗"2hα⊂a_≡↓↓_↔↓λε( O U8
`D2∧g` +Df( _B4 ↓
a_→↓λελ
⊂λ +∧f0 _α4!↓
Q_~↓λ¬x Pλ0(*¬εP ↔B4"↓
A_≠↓(¬` Pλ` )Eεp ↔α4#↓
1_≤Aλ¬P P )∧g ⊗"4$A
!_≥Aλ¬@ P (Dg@ ∃b4%A*↓ ≡Aλ¬0 P @ (∧g`( ∃α4'↓ q_ ⊂D*∧h∧pα∪b4 Aλ¬⊂ P
'∧h∧⊂α⊂
⊃_ ∀ Dp Pλ0 ∀α4)↓ Q_ ⊃D'Dh¬_αSαD"Aλ∧p P
@ &⊂ ⊃8%P ⊃@%P ⊃@%P ⊃8T↓λ¬8α*T*A∃⊂ ∃ZPα⊂
0 U↓λ¬⊂α*`D(A∃0 ∀J`α⊂ p V↓(∧hα+ D&↓5` ∩`Jpα⊂ WAλ∧Hα+`D$↓⊗ ⊃`KαPλP XAλ∧ αl@D!A⊗ ⊂@K_α⊂λ⊂ YA'p Z↓π`(ZAπP ZAπ@ [↓π0 [↓π [Aπ⊂ [A&p \↓ε`(\AεP \Aε@ ]↓ε0 ]↓ε ]Aε⊂ ]A%p ↑↓¬`(↑A¬P ↑A¬@ ←↓¬0 ←↓%⊂ ←A¬(`↓∧p `↓∧` `A∧P `A∧@ a↓∧0 a↓$⊂ aA∧(b↓βp b↓β` bAβP bAβ@ c↓β0 c↓#⊂ cAβ(d↓αp d↓α` dAαP dA"0 e↓α (eAα⊂ eAα f↓↓p f↓↓` fA↓P fA!0 g↓↓ (gA↓⊂ gA↓ h↓p h↓` hAP hA 0 i↓ (iA⊂ iB~@8j↓ZP(kzpλ"P`⊂␈␈x␈␈␈␈x␈␈`B?␈x␈n5hπh↓1@<(αq l βq0λα0`@⊂↓p@@_α0@0(α0 @0↓p 08α0@@↓p0Hα/`@P↓o@@Xα/@0hα/ @p↓o 0xα/A↓o1λα.`A⊂↓n@A_α.@1(α. A0↓n 18α.A@↓m`AHα-`1Xα-@A`↓m@1hα- Ap↓m 1xα-B↓l`Bλα,`2_α,@B ↓l@2(α, B0↓l 28α,B@↓k`BHα+`2Xα+@B`↓k@2hα+ Bp↓kBxα+3λα*`C⊂↓j`3_α*@C ↓j@3(α* C0↓jC8α*3Hα)`CP↓i`3Xα)@C`↓i@3hα) Cp↓iCxα)4 A∀0 ⊂@:_↓Pλ0 Q↓λ∧ ↓h D"A∀⊂_ ⊃`Jα⊂ _Ph∧Hα'`D%sp_ ∩`Ipα⊂ @_NAλ∧hα∩H⊂λ¬∩h⊂λ∧Sλ⊂λβS¬qλ 1IRpλP_dh⊗D(0'α∧cSE1λ 1IrHλP_u∀∧(0( b∀c∀$aλ 1J∩(λP_e⊂∩∧λ8)↓↓q⊂∧(¬λα"∃_↓CBαλP
0__∧J@_εD∧↓λ ∀`BxλU@Xλλα∀*@eaλ*@a1∂D(¬0α"∃(αα"αλP
p ∃D*`_∧Dβqλ ⊗ 2XλU@@8λλα∀,A¬⊃λ+@`a⊂∧(¬X↓Jα%@↓A"αλP0 ∪D+ ↓D∧↓λ ↔ 20λV 0_λπb∀/↓∧Qλ,A⊃⊂∧(¬xαλb∃P Hα∀0@d1λ-DD↓λ _ BλλVb∩λP0_⊂∧KA∂DHε_απb∃`πHα∀2@caλ.CCqλ →@AhλW!RλPp
D+`X⊂∧(εH↓FB%x¬λα∀4Aβ⊃λ/B$↓λ ~`1@λX↓↓xλP
@ D,8⊂∧(εhα¬"⊗λβπb∀7@bQλ0A$↓λ ≠`A_λX@2λP∞⊂_ ∧L0_∂D(πλα∧"⊗_απ"∀9@b↓λ2cAλ ≥@xλYAXλP∞P εD,P_
∧(π8↓C"⊗(αε"∀;A↓1λ3c↓λ ≡ 0P →`18λP∂⊂ ∧D,p
D(πX↓Bα⊗@↓Eα∀>↓qλ4↓α1λ ∨ @(λZ 1⊂λP∂p_αD- _λD(πxαb⊗Pαβb∀@@`!λ5@aa⊂ @λλZ`@hλP⊂1 6aAλ !"6`ααb∀BDMP_¬∧(λ0 ≠@0HλP⊂aλ7↓qλ !B⊗x↓AB∀CD-p αD(λ0λ\0 λP⊂qλ8↓1λ !B↔λ↓@B∀C∧N _D(λ0λ\BDC∧.1⊂ !b↔_ ⊂⊂aλ9D(λ8λ\b∀C∧n!λ !BGλ ⊂⊂a(8D(λ0λ@@GλP⊂qλ↓@n↓λ !B⊂ α≠b∀CD P_7D(λ0λA@FpλP⊂aλ∧mQ⊂ !B⊂@α≠"∀C∧! 6∧Hλ0λB`6` P⊂Aλε↓
1 b h↓ZbTA∧!` 5∧ α⊃↓Z"⊂ ↓P⊂↓λλ↓
⊃λα↓λπpλD@F@λA@4?∧"0_4∧ ` ∨α⊃ α→b⊂@α⊂∂!λla⊂∧@hπPλE@F0λB@D<∧# 2D!@_ ≡α⊃H↓Y"⊂`α⊂∞aλ
↓Aλπhπ0λF`6 λC@D:∧#@ 1D" ≤B⊃p↓XB!λ↓P∞!λ∂↓!λ ↓λπλHFλλE48∧$⊂_0D"@ ≠B∩⊂α_α⊃0↓P
aλ⊃@l↓λ↓λε`λIExλFD5∧$`_/∧# _ ~B∩0α↔B⊃Pα⊂
↓λ∀↓Qλ∞hε@λJ 5hλGD3∧% .∧#`_ →"∩`↓Vb!pα⊂Aλ⊗↓1λ⊂↓λε⊂λK@EPλH@41∧%p_-∧$ _α∪α⊗"∩ ↓P↓λ_@k⊃λ∩↓λ¬pλL@E@λI@D.∧&@_+DDp_ ↔α∪ α∃b∩@α⊂!λ≠↓
aλ∃h¬PλM`50λJ@D,∧' *D%@_ ⊗α∪H↓U"∩`α⊂
aλ≥↓
Aλ↔↓λ¬ λO5_ `4*∧'@ )D& ∀B∪pα∀B∪⊂↓P
!λ∨@j!λ→↓λ¬λPλ (D&@_ ∪b$ @j↓⊂~↓λ∧pλPλ (∧&` ∪α∀"iqλ≤h∧`λPλ@ 'D' ∩B∀#↓ aλ≥h∧PλPλp_'∧' ∩α∀$↓ Qλ≡↓λ∧0λP _&∧GP_ ⊃B∀%↓ Aλ∨↓λ∧ λP @ %P∨∀X >)4|g D&A∪` ∪9x↓P 0 OAλ∧P↓h4$A∀ ∩:λ↓Pλp PAλ∧(α(@D"t0_ ⊂`J_α⊂λ _Rh∧λα)Cxα) Cp↓i@3hα)@C`↓i`3Xα)`CP↓j3Hα*C8α* C0↓j@3(α*@C ↓j`3_α*`C⊂↓k3λα+Bxα+ Bp↓k@2hα+@B`↓k`2Xα+`BHα,B@↓l 28α, B0↓l@2(α,@B ↓l`2_α,`Bλα-B↓m 1xα- Ap↓m@1hα-@A`↓m`1Xα-`AHα.A@↓n 18α. A0↓n@1(α.@A_α.`A⊂↓o1λα/A↓o 0xα/ @p↓o@0hα/@@Xα/`@P↓p0Hα0@@↓p 08α0 @0↓p@0(α0@@_α0`@⊂↓q0λα1|(β1 \0↓q`$("⊃≥≡@⎇oλεh↓-@K0α- k(βm@λ↓l`@⊂α,`0 ↓l@@ α,@00α, @8↓l 0@α,@H↓k`@Pα+`0`↓k@@`α+@0pα+ @x↓kAα+1⊂↓j`A⊂α*`1 ↓j@A α*@10α* A8↓jA@α*1P↓i`APα)`1`α)@Ah↓i@1pα) Ax↓iBα)2⊂↓h`B⊂α(`2 α(@B(↓h@20α( B8↓hB@α(2P↓g`BPα'`2`α'@Bh↓g Bpα' 3↓gCα'3⊂α&`C_↓f`3 α&@C(↓f C0α& 3@↓fC@α&3Pα%`CX↓e`3`α%@Ch↓e Cpα% 4 r@ ⊂I ↓Pλ IAλ∧_↓RH∞H%P≤t` 9IBHπP∃Th∀βH
p&IatVSD`p +)r π⊂∃dx⊃Ch
h(λAdW∀∧⊂x +*∩π⊂∃eλαβ!a`πPλ` ∃Cj _εCC0x ∩2Pλ∀`0Xπεat$A¬⊂x)@a p∞βh∧P↓J↓u ↓B!aXπP 0 ∪Cj@ βCC@x ∪B(πU 08πεat'dPx*APp
Ch∧xαλau0↓A!aXπP
_⊃∧
p_↓CC0x ∀ BλπU`0⊂ππ↓t)↓βpx,`⊂p
Ch¬ ↓Gau@λG↓t*↓βPx,Dβ0x ∃@1hπV!qXπP
p
Ck h∞βh¬@↓FAuXεεat,Aβ⊂x-Bc@x ⊗@A8πW↓!XπP@_Ck@H∞βh¬`α¬!uh∧εat/bA/↓C0x ↔`A_πW@Q`πP_ βkp
Chελα∧!uxαεat1↓↓px0c x →0xπXA@λ⊂@ εCl⊂_βhε0↓Cαε⊂↓EAt3A↓0x1b`x ~@HπX`1 πP
_∧Cl0 ChεPα↓av ↓DAt6`px2↓αx ≠ @(πY 1πP
`_αβl`_πβhεxαav0↓CAt8↓⊂x3@a@x ≤@0λπY`@XπP∞!⊂4a x ≥α⊗@αα↓t:D
⊂_∧βhπ(πZ@00πP∞`x5↓Px ≥!vX↓A↓t;βm0 ↓∧λπ(π[0⊂πP∞Q6DHπ0π["$:Cma ≥Avpλ⊂∞Px7βhπ0π["∧:D-Px ≥"&`πP∞a_6βhπ(π@@FXπP∞`x↓@m0x ≥!p α~At;β`P_4Chπ0πA@FHπP∞Px∧m↓ ≥!p@α~α∀9Ca 3DHπ_πB`60
⊂∞⊂xε↓`x↓hπλβ 6(π@`D7Ca` 2C`@_ ≠Aq↓Y↓p(α⊂
Pxλ↓@xβ↓λεXπD@F_πB45Cb0_1∧↓ ~!q α_ApP↓P
↓
@l⊂x¬Aλε8πE@FλπC43βc 0βaP →!qH↓X↓ppα⊂0x
↓pxλhε_πF`5pπD D0Cc@ /βb _ _↓qp↓W!q_α⊂px∂↓Px
↓λ¬hπHE`πE@4.Cd⊂_-Dα` ⊗ar⊂α⊗aq@↓P0x⊃@k xAλ¬HπIEPπF@4,βd`_,Cc0 ∃ar0α⊗!q`α⊂
Px∀↓x∂h¬(πJ 58λπ@D)Ce +Cd_ ∀BαX↓UArλα⊂
⊂x⊗↓
`x⊃h¬πK@E(πH`D'Cep_*Cd@ ∪!sα∃↓r0↓P Px_@j1∪↓λ∧XπL@E_πJ4%βf@_)βe⊂ ∩!s α∀ArPα⊂λpx≠↓
⊂x⊗h∧8πM`5λD"Cg (βe`_ ⊃!sH↓Sarxα⊂λ0x≥↓ px_h∧⊂πO4pπL D Cg@ 'βf ∨Cg` &Cf@_∨Cgp_&∧ε@ ≡Ch∧α∪↓s0↓O!t @i4m∩h
P%P≠→_α⊂λ0_Jh∧⊂α%D ↓∩P_ ⊂9(α∂@I0α∂ 98↓OI8α∞`9@↓N@I@α∞IH↓N9Hα
@IPα
9X↓MIXα`9`↓L@I`αIh↓L9hα@Ipα 9x↓KIxα
@J↓J@:α
Jλ↓J:λα @J⊂α :_↓IJ_αλ@J ↓H@: αλJ(απ`:0↓G@J0απ :8↓GJ8αε@J@↓F@:@αεJHα¬`:P↓E@JPα¬JX↓E:Xα∧@J`↓D@:`α∧Jhαβ`:p↓C@JpαβJx↓C:xαα@Kαα ;λ↓BKλα↓`;⊂↓A@K⊂α↓K_↓A;_α@K α ;(βm k0α-@K8↓⊃(D(cqzzλ ↔ *0↓i Z(↓ * ↓@ : ↓`*_↓@`:⊂↓A :⊂↓↓`*λ↓A`:λ↓α *↓B :↓α`)x↓B`9p↓C 9p↓β`)h↓C`9h↓∧ )`↓D 9`↓∧`9X↓E)P↓E 9P↓¬`)H↓E`9H↓ε )@↓F 98↓F`98↓π )0↓G 90↓π`)(↓G`9(↓λ ) ↓H 9_↓H`9_↓ )⊂↓I 9⊂↓ `)λ↓I`9λ↓
9↓J@(x↓J`8x↓ (p↓K 8p↓`(h↓K`8h↓ 8`↓L@(X↓L`8X↓
(P↓M 8P↓
`(H↓M`8@↓N 8@↓∞`$P 1i$c∩d0h %)2_ε⊂∩T`⊂C( &λ↓TJS#p` %)ahεP∩Tp∞Cλ ('FaTJ∪`0`εε↓Ch↓I!U↓αaA@εO@" εT Hεε↓Sx↓HaUλ↓B↓A@εPλ⊂⊃β* ⊂βCβh ⊂ 2λεT@00εε↓D!@Dh)@@P`β(∧_↓GaE_↓@aA@εPλP_∞C*@⊂↓Cβh ⊃@!`εU λεε↓T#@c0h*Cch ∩!PεUAQ@εP ⊂_C
`hβλ∧X↓ε↓U8¬F↓T%@b`h+BCh ∪ 1(εV↓⊃@εP `⊂
β+⊂8β(∧x↓DaUHβF↓D(@B h-↓#h ∀ 1λε⊗@Q@ε⊂
0_πC+0_β(¬ ↓βAUX↓EaT*@aPh.b`h ∃@ `εW !(εP
p_¬C+P_
βλ¬H↓αAUp↓∧aT,@a⊂`/b⊂h ⊗`08εW`!λεP@⊂ββ,⊂πC(¬h↓A!V↓CAT/@@h0@APh ↔`0_εX 0`ε⊂⊂⊂↓β, ⊂¬C(ελ↓@!F⊂↓B!T1Cl0⊂∧C(ε εY 8εPPh2``h →↓V(↓↓!T2CP_αβλε(εY@ _εP@h3`⊂h →!V8↓!T2β-p →!V@εPPh4β(ε(εYaT2Clph →↓Pλ↓→AT2C ⊂_3β(ε ε@`&(εPPh↓@lP` →!P(↓→↓T2C`_1C(ε(εA`6_εP@h∧@L x _aPH↓XB∧0C!0⊂0C ⊂ _!@`↓X!@_↓Pphε@lhαH¬xεβ`%xεA 4.C!p_/C `⊂ ↔↓Qλ↓↔AP8↓P0hλ@k``∧@h¬HεD`%hεB@$,Cα@_.C↓0_ ∃aQ(↓W↓P`↓⊂
`h@K0hε@h¬(εE`5XεC@4)C#⊂⊂-β"⊂ ∀aQH↓VAAλ↓P
⊂h
@K⊂h H¬λεπ5@εD`4'C#P_,β"@⊂ ∪AQx↓∃aQ(↓P Ph∂@jphh∧XεH %0εF$%C∧ _+ββ⊂_ ∩!R_↓∃!QP↓⊂ ⊂`∩j@h
@h∧8εI 5 εG$#β$p⊂)C#P_ ⊃!R8↓TaQp↓Pλ0h∀@J h⊂H∧_ε
@5⊂ελ 4 C%0_(C$ ⊂ ⊂!Bh↓∀↓R_↓OaRh↓T↓R ↓O!Rx↓∪aR0↓∂!Rx↓SaB8↓NaSλ↓∪AR@↓∞aC⊂↓S!RH↓N!S_↓S!RP↓∞↓S(↓∪↓RX↓MaS(↓S↓R`↓M!S8↓∩aRp↓
!C@↓RaBx↓LaSH↓∩HX%⊂↔8@↓∞`(@↓N 8H↓M`8P↓
`(P↓M 8X↓
(X↓L`8`↓L@(h↓ 8h↓K`8p↓`(p↓K 8x↓ (x↓J`9↓J@)λ↓
9λ↓I`9⊂↓ `)⊂↓I 9_↓ )_↓H`9 ↓H 9(↓λ )(↓G`90↓π`)0↓G 98↓π )8↓F`9@↓F 9H↓ε )H↓E`9P↓¬`)P↓E 9X↓E)`↓∧`9`↓D 9h↓∧ )h↓C`9p↓β`)p↓C 9x↓B`:↓α`*↓B :λ↓α *λ↓A`:⊂↓↓`*⊂↓A :_↓@`: ↓`* ↓@ :(↓ *(αi@:8↓⊃(D0S)V80 ∪ →8↓%@I(↓ )(↓@) ↓↓) ↓↓)_↓↓@)_↓↓@)⊂↓α)λ↓α )λ↓α@)↓β)↓β(x↓β@(x↓β@(p↓∧(h↓∧ (h↓∧@(`↓¬(`↓¬(X↓¬@(X↓¬@(P↓ε(H↓ε@(H↓ε@(@↓π(@↓π(8↓π@(0↓π`(0↓λ((↓λ@((↓λ@( ↓ ( ↓ (_↓ @(⊂↓ `(⊂↓
(λ↓
@(λ↓
@(↓(↓'x↓@'p↓'p↓$P )I$RRcPX ∨ 1h¬⊂∂D`
BHπ`&F!4>∪#⊂P ∨ a8¬P∂DpBHπ`'@A⊂P
αF@⊂∂αip⊂∧BB0X~C`P(@pP
αF`⊂∞αj⊂⊂αBB@X≠@C0P(@@PP
αG⊂
αj ⊂↓BB@X≤@C⊂P)@0P
αG ⊂αJ0⊂BB@P≡B`X*αb@X≡@BPP*αb@P∨B@X*B"@X∨@B0P*B"@P ⊂!⊂¬U@q ¬Pλ⊂⊂λαj`8 Bh∧⊂↓∧↓%8αE↓$"A`X,b@X ⊃ h¬⊗1 ¬⊂λ`⊂εαk⊂⊂ Bh∧8↓αa%H↓∧a$$A X-B⊂X ∩ @¬V@!¬P ⊂∧αK0⊂πBH∧`↓↓A5`↓β!4&@@PP.APP ∪@ ¬W X¬P p⊂↓BKP⊂¬BH¬↓A5p↓α!$)β+p⊂βBh¬_¬W` 8¬⊂
@X0@PX ∃↓&↓↓!$*αl⊂⊂↓Bh¬ ¬_ ⊂¬P
@P1@⊂P ∃↓6_ε⊂
@P1Bh¬ ¬Xa4*αl0P ∃↓F⊂¬P
0X@L⊂X ∃↓ ⊂↓_!$*α`0⊂0αh¬ ¬↓ &¬⊂
@Xα@KpX ∃↓ 8↓↔a4)B`p⊂/α@⊂⊂ ∀!0H↓↔!0⊂↓⊂
P¬@KPP↓@H∧x¬B`%`¬A$'αAP⊂.α@P⊂ ∪!0h↓⊗a00↓⊂ @Pπ@K Xβ@H∧X¬∧%P¬α $$Bb⊂⊂,Ba ⊂ ∩↓!_↓⊗! X↓⊂λpX @KXεH∧0¬¬ %@¬β $"BbP⊂+Ba`⊂ ⊂a18↓∃A0x↓⊂λ0PJ`Pλ@H∧λ¬F %(¬D@$ αC0⊂*BB0⊂∨Bc0⊂*αb@⊂∨αCP⊂*αBP⊂≡BcP⊂)Bb`⊂≥Bcp⊂)αc⊂≥αD⊂)αC⊂⊂≤Bd⊂⊂(Bc ⊂≤αD0⊂(BC0⊂≠Bd0⊂(αc@⊂≠αDP⊂'BcP⊂~BD`⊂'BCp⊂→Bdp⊂'αd⊂→αE⊂⊂'αD⊂⊂_Be⊂⊂&Bd ⊂_αE0⊂&BD0⊂↔Be0⊂&αd@⊂↔αEP⊂%BdP⊂⊗BE`⊂%BDp⊂∃Bep⊂%⊂∪DP &o`⊂_O`⊂_Op⊂↔P⊂⊗P⊂⊗P⊂⊂∃P⊂⊂∃P ⊂∀P ⊂∪@P0⊂∪P@⊂∩P@⊂∩PP⊂⊃PP⊂⊃P`⊂⊂P`⊂∂@Pp⊂∂Q⊂∞Q⊂∞Q⊂⊂
Q⊂⊂
Q ⊂Q0⊂Q0⊂Q@⊂
Q@⊂
QP⊂ QP⊂λ@Q`⊂λQp⊂πQp⊂πR⊂εR⊂εR⊂⊂¬R⊂⊂∧@R ⊂∧R0⊂βR0⊂βR@⊂αR@⊂αRP⊂↓RP⊂@R` K@Rpλ"Qλx B#m3pa`80α!@ λ↓! ⊂↓! _↓! (↓! (↓ ` 8↓ @ @↓ @ H↓ P↓ X↓ h↓ h↓∨` x↓∨@!↓∨@!λ↓∨ !⊂↓∨ !_↓∨!(↓≡`!0↓≡`!8↓≡@!@↓≡@!H↓≡ !X↓≡ !X↓≡!h↓≥`!p↓≥`!x↓≥@"↓≥@"λ↓≥ "_↓≥ "_↓≥"(↓≤`"0↓∩Hλ %⊂⊂DXBλε_&¬A∧1SαP@ _iQ_∧⊂Dh Bλε_'@p@λα¬⊂⊂α)`⊂βB↓pH∃Bp@'@@P@λα¬0⊂α*λαB↓pH⊗BP@(@0@πB%P⊂
α*⊂⊂Bα@↔@B H(@@⊂@πB%p⊂ α
Hλαε⊂⊂λα* HπB& ⊂πB
08λαε0⊂πα*@(λαεP⊂εB
@(πB&P⊂εα*P_λαεp⊂¬α*P_πB&p⊂¬α
`⊂πBπ⊂⊂∧α*pλπα' ⊂βB
p⊂εα'0⊂βα+⊂¬BπP⊂αB⊂¬α'P⊂αα+⊂⊂∧Bπp⊂↓α+⊂⊂∧α(∧↓!¬P↓↓a∧ Bk0λβα(∧⊂∧V` ∧Pλ0H.@0@ ⊃↓¬`↓A∀!BP⊂Bλ∧_∧W!4!B`H ⊂a∃p∧⊂λ@H.B(∧_¬↔!∧!B ⊂⊂.α(∧_∧@%`∧⊂λ0H↓@K0H ⊂a(↓⊗A$!α P⊂-α⊂⊂ ⊂!8↓⊗!⊂λ↓⊂λHβ@K⊂@↓@G`H∧@KH↓@G`@¬@K@α@G@H¬@JpHα@G@@ε@J`Hβ@G Hε@J`@∧@G⊂@π@JPH∧@G@λJP@¬@F`Hλ@J@H¬@F`@ @J@@ε@F@H @J0HπF0@
@J Hπ@F H
@J @λ@F⊂@@J⊂Hλ@F@J⊂@ @E`H@JH @E`@
@IpH
@E@H
@Ip@@E0@∞@I`H@E H∞@I`@@EH∂@IPH@E@⊂@IP@
@D`H⊂@I@H
@D`@⊃@I0H∞@D@H⊃@I0@∂@D0@∩@I$>∩Hπ`9@D`⊂:DP⊂:@D0⊂:@D0⊂;D⊂⊂;D⊂;@Cp⊂;@C`⊂<CP⊂<@C0⊂<@C0⊂=C⊂⊂=C⊂=@Bp⊂=@B`⊂>BP⊂>@B0⊂>@B ⊂?B⊂⊂?B⊂?@Ap⊂@AP⊂@AP⊂@@A0⊂@@A ⊂AA⊂⊂AA⊂A@@p⊂B@P⊂B@P⊂B@@0⊂B@@ ⊂C@⊂⊂C↓⊂p_D(T $_l6X(@↔@↓≥`⊂λ]`⊂⊂]@⊂ ] ⊂(] ⊂0]⊂8]⊂@\`⊂H\@⊂X\@⊂`\ ⊂h\ ⊂p\⊂x\⊃[`⊃⊂[@⊃_[@⊃ [ ⊃([ ⊃0[⊃8[⊃@Z`⊃PZ@⊃XZ@⊃`Z ⊃hRHε_%D d%Rb8 ∩I@xβ⊂ $`π↓h∧P&@ `0ε↓Cpλ ↓iPλαAA@0⊂" 0' 00εAD⊂λλ↓Ipλ↓↓A@0⊃@!p0'@ ⊂0ε↓d0λπ↓J8ε↓DPλε↓j0ε↓dPλε↓J⊂(ε↓Dpλ¬↓j⊂ ε↓Eλ¬↓J ⊂εAE⊂λ∧↓J0λε↓E0λβAJ0λ¬Ae0λβ↓J@λ¬↓EPλα↓j@λ∧AE`λα↓JPλ∧↓Epλ↓↓j`λβ↓Fλ↓↓J`λβ↓F⊂8+@ @0→AJpλ↓Af 0, 0→↓kλAF00,Af 0,AF00,↓f 0@+0→↓` λ+Af 0↓@*p0→↓`@λ+↓@⊂λ_A@Pλ+↓@⊂λ_↓@pλ*A@0λ↔AAλ*↓`0λ↔↓A⊂λ*↓@Pλ⊗↓a λ)A`Pλ⊗↓A0λ)A@pλ∃↓a@λ)↓A⊂λ∀AAPλ)↓A⊂λ∀↓Apλ(AA0λ∪ABλ(↓a0λ∪↓B⊂λ(↓APλ∩↓b λ'AA`λ∩↓B0λ'AApλ⊃↓b@λ'↓B⊂λ⊂ABPλ&Ab⊂λ⊂↓Bpλ&AB0λ∂ACλ&↓b0λ∂↓C⊂λ&↓BPλ∞↓c λ%AB`λ∞↓C0λ%ABpλ
↓CPλ%⊂fHG ⊗PG⊗PF`⊗XF@⊗`F⊗`E`⊗hE@⊗hE ⊗pE⊗pD`⊗xD@↔D↔C`↔λC@↔λC ↔⊂C↔⊂B`↔_B ↔ B↔ A`↔(A@↔(A ↔0A↔8@@↔8@ ↔@↓≡∀("∩($⊂#M#pλ4Mλ@,pλ↓,`λα,`λα@,Pλβ,Pλβ@,@λ∧,0λ¬,0λ¬, λε, λε@,⊂λπ,⊂λπ@,λλ+pλ +pλ @)$!∩a0 _Ra →∪⊂ ααA CT`@`@@α¬ ⊂`α∪ ⊂⊂α↓`Q0B@DxααA@B DpααAHBDx↓BAPA@Tx↓αAXA@EA`Q`AUA`AhAEλA Qp@@E⊂AB@ E⊂@`BλαT`⊂⊂αλ U_@ B⊂α∃RλαUB⊂αT`Rλα ∃_αλ@@⊂T@Rλα`∃⊂α ⊃xαA∃λα@⊃xα↓ ∃α@`⊃hα↓`∃α↓⊃hαα∀xα↓@⊃Xαα ∀xα↓`⊃HαB@∀pαα⊃Hαα`∀hαB ⊃8αC∀hαα@⊃8αβ ∀`αB`⊃(αβ`∀`αβ ⊃ α∧∀Xαβ@⊃_α∧ ∀Xαβ`⊃λαD@∀P∨↔`⊃_W`⊃⊂X⊃X ⊂xX ⊂pX@⊂hX@⊂`X`⊂PX`⊂PY⊂@Y ⊂8Y ⊂0Y@⊂(Y@⊂ Y`⊂⊂Z⊂λZ&HQ(DX_εα
@+`λ@+`λ@+Pλ↓@+Pλα+@λα@+0λβ@+0λβ@+ λ∧@+ λ∧@+⊂λ¬@+λε@)#% 2p&)B`&@ P@π 0&@ @@λ ⊂0' 0@λ↓ipλBα 0'B" 0(αα ((↓b 0(AB⊂0(↓B 8(↓B⊂0@)p0 ↓ 0λ'A" 0α)`8λA Pλ&A@⊂λλ↓@`λ&A@ λπ↓@pλ&↓@@λεAAλ&↓@@λε↓A⊂λ%A@`λ¬A!0λ%A pλ¬↓A@λ%
kλε@+⊂λ¬@+ λ¬+ λ∧@+0λβ@+0λβ@+@λα@+@λα@+Pλ↓@+`λ@+`λ@+pλ"}↔F F↔O≤u ⎇M` ⎇M␈␈x␈␈`R␈␈x␈i@C>TλNβId_α_zP@⊃H`p`∧C>d_|@↓7λi↓}⎇HMPα@9_α␈@{⊃70∧%,⊂π</0#'8∪H@⊃<↑d8>@[@qα8λ⎇I¬p↓ +λ¬$_{∩'`↓7∞⊂∀O0%J`λ⎇/`↔←⊂c__ow{⎇x